Banach空间中一类强非线性发展方程的反周期解

本文讨论一类强非线性发展方程的反周期解的存在性。针对一大类既含有单调非线性算子又含有非单调非线性算子的发展方程。我们巧妙地结合单调算子理论与Leray-Schauder不动点理论，证明了其反周期解的存在性。最后，举例说明理论结果在2m阶拟线性抛物型方向的时间反周期问题中的应用。     

钢纤维混凝土桥面铺装试验研究与工程应用

针对桥面铺装层的受力状况和破坏原因 ,重点对钢纤维砼材料进行了抗弯强度试验和耐磨损试验 ,并进行了钢纤维砼弯曲性能分析 ,闸述了钢纤维砼的耐磨机理 ;结合 130 76m2 的实际工程应用 ,进行了钢纤维砼桥面铺装施工技术总结 ,分析了采用钢纤维砼作为桥面铺装层所带来的效益 ,可供类似工程参考应用     

Authorware制作课件解疑及操作技巧

介绍了Authorware软件使用过程中的一些常见问题并给出了具体的解决方案 ;说明了在Au thorware软件使用过程中如何利用一些操作技巧     

应用程序用户界面设计

随着计算机软、硬件技术的发展，应用程序用户界面的重要性与日俱增，而在设计程序时如何合理的编排、处理界面元素，设计出美观实用的用户界面，本文将作出论述。     

连铸坯角部传热过程的数值模拟

在连铸理论与实践研究的基础上，提出了系数法铸坯角部热通量模型，为准确研究铸坯角部传热、应力和角部缺陷的产生提供了条件。     

中国延边朝鲜族自治州的移民资本流动

显著的移民资本流动已经在南朝鲜与延边之间发生。延边当地政府支持劳动力移民,支持随后的汇款额利用所带来的渐进利益。官方对成功的移民者和他们同延边经济发展的整合不感兴趣。他们已经采取措施推动移民但是并没有出台有效的政策用以将新资本转移到延边,并将它们注入当地发展中。到目前为止重要的资源并没有被触及。     

A STAGE-STRUCTURED SI ECO-EPIDEMIOLOGICAL MODEL WITH TIME DELAY AND IMPULSIVE CONTROLLING*

This paper formulates a robust stage-structured SI eco-epidemiological model with periodic constant pulse releasing of infectious pests with pathogens. The authors show that the conditions for global attractivity of the ＇pest-eradication＇ periodic solution and permanence of the system depend on time delay, hence, the authors call it ＂profitless＂. Further, the authors present a pest management strategy in which the pest population is kept under the economic threshold level （ETL） when the pest population is uniformly persistent. By numerical analysis, the authors also show that constant maturation time delay for the susceptible pests and pulse releasing of the infectious pests can bring obvious effects on the dynamics of system.     

Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

Comparison of Drought-Resistance about Three Wild Rocky-Grasses

In this experiment, using the methods of drought-stress in the pot and PEG simulative drought-stress, three native rocky-slope grasses Pogonatherum panideum（Lam.） Hack, Erioophorum comosum nees and Cynodon dactylon cultivated in the pots were selected as materials to study their drought-resistance by analyzing the indexes such as the leaf area index, the drying roots accumulation, the holding water ability of leaf, the relative conductance of leaf, the soluble protein, chlorophyll. At the same time, by comparing with membership function value of each index, the order of each grass drought-resistance was decided. The results showed that the drought-resistance of Erioophorum comosum nees was stronger than Cynodon dactylon and drought-resistance of Cynodon dactylon was stronger than Pogonatherum panideum （Lam.） Hack. The purpose of the experimental results was to find theoretical foundations for selecting and cultivating native protecting-slope vegetations to adapt to rocky slopes.     

Homology Priority Task Scheduling in μC/OS-Ⅱ Real-Time Kernel

μC/OS-Ⅱ is an open source real-time kernel adopting priority preemptive schedule strategy. Aiming at the problem of μC/OS-Ⅱ failing to support homology priority tasks scheduling, an approach for solution is proposed. The basic idea is adding round-robin scheduling strategy in its original scheduler in order to schedule homology priority tasks through time slice roundrobin. Implementation approach is given in detail. Firstly, the Task Control Block （TCB） is extended. And then, a new priority index table is created, in which each index pointer points to a set of homology priority tasks. Eventually, on the basis of reconstructing μC/OS-Ⅱ real-time kernel, task scheduling module is rewritten. Otherwise, schedulability of homology task supported by modified kernel had been analyzed, and deadline formula of created homology tasks is given. By theoretical analysis and experiment verification, the modified kernel can support homology priority tasks scheduling, meanwhile, it also remains preemptive property of original μC/OS-Ⅱ.